Bit-Slice Auction Circuit - Kurosawa, Ogata (2002)(Correct)(2 citations)
and present a more ecient circuit than the normal approach for the highest-price auction. Our
size is, the more ecient the protocol is. The normal approach for circuit design for auctions is to
and present a more ecient circuit than the normal approach for the highest-price auction. The eprint.iacr.org/2002/189.ps.gz
A Uniform Tableau Method for Intuitionistic Modal Logics I - Amati, Pirri (1993)(Correct)(7 citations)
IS4, IKB4, IK5, IKD5, IK45, IKD45 and IS5 of the normal classical modal logics. We provide soundness and
we provide tableau systems and sequent calculi for normal propositional intuitionistic modal logics. The
(i.e. the strictly condensed frames or also 2-normal logics in [28]3 turns out to be definable with www.dis.uniroma1.it/~pirri/PUB/Tableaux/StudiaLogica53-94.ps
A Normal Form for Function Rings Of Piecewise Functions - von Mohrenschildt (1996)(Correct)
A Normal Form for Function Rings Of Piecewise Functions
to this kind of problem. This paper provides a normal form for function rings containing piecewise
We give a compiled rule system to compute the normal form of a function. With a normal form, we can cs-archive.uwaterloo.ca/cs-archive/CS-96-14/CS-96-14.ps.Z
On Cyclic Groups Of Automorphisms Of Riemann Surfaces - Emilio Bujalance Marston (1999)(Correct)
exists a Fuchsian group \Gamma containing as a normal subgroup of index jGj, and with G Gamma=
PSL(2 IR) which properly contains \Gamma and also normalises .The converse also holds, and accordingly,
to an extension of the cyclic group G in Aut X. Normal extensions are dealt with in Section 2, and www.math.auckland.ac.nz/~conder/preprints/cyclic.ps
The Dynamical Aperture Of Isi - 800 - Efimov Karnaukhov Kononenko(Correct)
ISI-800 electron storage ring are described in the normal operation mode, the operation mode with a wiggler
Figure 1 shows the optical function for the normal operation mode in the superperiod of the ring.
mode the optical functions are the same as in the normal operation mode, except for the straight section www.aps.anl.gov/conferences/mirrored/www.cern.ch/accelconf/p95/ARTICLES/RAA/RAA08.PDF
Prediction of Paroxysmal Atrial Fibrillation by.. - Thong, McNames.. (2004)(Correct)
adaptive filters to develop biomedical solutions. Mr. Aboy is a lifetime honorary member of the
sites [8] and/or pacing at a higher rate than normal, coupled with higher pacing voltages in the case
( min) from any such episode. The other group of "normal" subjects had no history of PAF, and two ECG bsp.pdx.edu/Publications/2004/TBE_Thong.pdf
Curvature Measures Of 3d Vector Fields And - Their Applications Weinkauf (2002)(Correct)
curvature and torsion. Furthermore, the concept of normal surfaces is introduced to the theory of 3D vector
Vy and Vz. 2.1 Derivatives of Tangent Curves 2.2 Normal Surfaces In general, tangent curves can not be
In this paper we want to introduce the concept of normal surfaces to the theory of 3D vector fields. www.zib.de/visual/papers/sources/weinkaufc3dwscg2002.pdf
On Selection Functions that Do Not Preserve Normality - Merkle, Reimann(Correct)
On Selection Functions that Do Not Preserve Normality Wolfgang Merkle Jan Reimann
in L. By a result of Agafono# 1]a sequence is normal if and only if any subsequence selected by a
selected by a regular language is again normal. Kamae and Weiss [11] and others have raised the math.uni-heidelberg.de/logic/merkle/ps/normal-mfcsplus.ps
Digital Object Identifier (DOI): - Math Biol Mathematical (2004)(Correct)
of ECs with supporting PCs. Note that Ang-2 mRNA in cultured ECs is downregulated in response to
.2. Normal Vascular Physiology .
et al.2000 Papetti &Herman, 2002)Under normal physiological conditions angiogenesis is www.math.umn.edu/~othmer/papers/./Mantzaris:2004:MMT.pdf
An Optimal Hypercube Algorithm for the All Nearest Smaller.. - Kravets, Plaxton (1994)(Correct)
this paper, we present an O(lgn)time n-processor normal hypercube algorithm for the ANSV problem.
the ANSV problem. Furthermore, we prove that any normal hypercube algorithm requires \Omega\Gamma n)
to give the first O(lgn)time n-processor normal hypercube algorithms for triangulating a monotone www.cs.utexas.edu/users/plaxton/html/../ps/1994/spdp.ps
Thermostructural Behavior of a Hypersonic Aircraft Sandwich Panel.. - Ko (1997)(Correct)(1 citation)
sandwich core density of sandwich core, lb/in 3 normal stress in x-direction, lb/in 2 normal stress in
lb/in 3 normal stress in x-direction, lb/in 2 normal stress in y-direction, lb/in 2 shear stress in
10 through 21 show various distributions of normal stresses {which are negative (i.e. www.dfrc.nasa.gov/DTRS/1997/PS/H-2103.ps
Induction Of Stable Models - Otero(Correct)
of inductive logic programming, to normal logic programs under the stable models semantics.
following motivating example. Example 1. Given normal logic program B p not q q not p assume we
non-Horn programs)Example 2. Consider another normal logic program B q not p q not q we want to www.dc.fi.udc.es/ai/~otero/ilp01ismo.ps.gz
Stability And Geometry Of Third-Order Resonances In.. - Gemmi, Todesco (1997)(Correct)
Using the perturbative tools of resonant normal forms, the geometry of the orbits and the
Hamiltonian systems, symplectic mappings, normal forms, resonances, stability, three degreees of
the analytical tools of perturbative theory of normal forms are available such as for the case of www.bo.infn.it/www_th/archivio/paper/97/treres.ps
Dynamic Multilevel Methods and Non-Homogeneous Turbulence - Bouchon Dubois And(Correct)
as a test model for the treatment of the direction normal to the wall. We present numerical results for
boundary conditions in the direction x 2 normal to the walls. For this problem, the main
@u 3 x 1 the component of the vorticity normal to the wall) and the fourth order equation wwwlma.univ-bpclermont.fr/~bouchon/publi/pub_1.ps.gz
Clustering Via Normal Mixture Models - McLachlan, Peel, Prado(Correct)(1 citation)
Clustering Via Normal Mixture Models G.j. Mclachlan, D. Peel, And P.
the component distributions to be multivariate normal with perhaps some restrictions on the component
Separation Of The Data Into Distinct Groups. 2. Normal Mixture Models A Common Assumption In Practice Is www.maths.uq.edu.au/~gjm/971.ps
R-Simp: Model Simplification In Reverse, A Vector Quantization.. - Brodsky (2000)(Correct)
on Medical Robotics and Computer Assisted Surgery (MRCAS '95)pp. 132-139, November 1995. He95] Taosong
can be viewed as quantization of three dimensional normal vectors on a two dimensional surface. Thus many
.37 4.2 Normal Curvature . www.cs.ubc.ca/~dima/pubs/mscthesis.ps.gz
Computing The Infinitesimal Invariants Associated To.. - Westhoff (1998)(Correct)
interpretation of the infinitesimal invariant of normal functions as a pairing similar to the
Voisin for the infinitesimal invariant of certain normal functions. 1. Introduction. The problem of
as it deforms is measured by Abel-Jacobi mappings, normal functions and their infinitesimal variants. nyjm.albany.edu:8000/PacJ/1998/183-2-8.ps
DisLoP: A Research Project on Disjunctive Logic Programming - Aravindan, Dix, Niemelä (1997)(Correct)(7 citations)
BDK97, DPP97b, BD98c, DFN98, Dun95a, Dun95b]2 Normal Programs Although our aim is to create a
considered in this paper have been defined for normal programs. Dix developed in [Dix95a, Dix95b]
compute STABLE for range-restricted function-free normal programs, developed during the course of our www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-1-97.ps.gz